Fixes for building highlight.js.
authorDoug Torrance <dtorrance@debian.org>
Fri, 16 Dec 2022 11:07:27 +0000 (11:07 +0000)
committerDoug Torrance <dtorrance@debian.org>
Fri, 16 Dec 2022 11:07:27 +0000 (11:07 +0000)
commit7677c3486bcd0ff6912568fddccfafe6d463c2c4
tree0aa758ecd877fd2672fe989a24eba2135eeea86b
parent420ed122fcbdab8eda163afc9b925b385c2ff288
Fixes for building highlight.js.

Forwarded: not-needed
Last-Update: 2022-05-16

- Backport to highlight.js 9, which is the version still in Debian.

Gbp-Pq: Name highlightjs.patch
M2/Macaulay2/editors/highlightjs/index.js
M2/Macaulay2/editors/highlightjs/macaulay2.js.in